Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
271	The Integration and Interaction of Multiple Mathematical Reasoning Processes: A Platform Grant Proposal. Case for Support Alan Bundy Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2005-03-23 10:49:26 Automated theorem proving Logic Cognitive science Theoretical computer science Reasoning Artificial intelligence Research councils Automated reasoning Alan Bundy Reasoning system Isabelle Mathematical proof
272	Cardinals in Isabelle/HOL Jasmin Christian Blanchette1 , Andrei Popescu1,2 , and Dmitriy Traytel1 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Ordinal numbers Mathematics Abstraction Cardinal numbers Set theory Wellfoundedness Infinity Ordinal arithmetic Transfinite induction Constructible universe Aleph number
273	Theoretical Economics), 439–Endogenous incomplete markets, enforcement constraints, and intermediation Add to Reading List Source URL: apps.eui.eu Language: English - Date: 2011-02-21 09:00:41 Logic Mathematics Mathematical analysis Control theory Mathematical modeling State-space representation Laplace transform Substitution
274	1 Documenta Math. Preface Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-07-18 09:24:41 Mathematics Algebra Andrei Suslin Conjectures K-theory Milnor conjecture Cole Prize Alexander Merkurjev Saint Petersburg Mathematical Society Mathematical logic Fields Medal
275	Brief Announcement: TheToolkit for Building Your Own Balls-into-Bins Algorithm Pierre Bertrand1 and Christoph Lenzen2 1 Ecole Normale Suprieure Cachan Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:02 Algorithm Mathematical logic Theoretical computer science Time complexity Mathematics With high probability Computer science Applied mathematics Balls into bins EdmondsPruhs protocol
276	Practical Proof Checking for Program Certification Geoff Sutcliffe1 , Ewen Denney2 , Bernd Fischer2 1 University of Miami Add to Reading List Source URL: ti.arc.nasa.gov Language: English Logic Formal methods Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Proof assistants Formal verification Formal proof Proof-carrying code Automated proof checking Theorem
277	Circuits for Datalog Provenance Daniel Deutch Tova Milo Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2013-12-16 04:18:28 Mathematics Computing Mathematical logic Database theory Complexity classes Boolean algebra Algebraic structures Relational model Datalog Relational algebra Tuple FO
278	Applied Ontology–0 IOS Press 1 Vague size predicates Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:04:47 Logic Mathematical logic Mathematics Predicate logic Grammar Model theory Formal languages First-order logic Predicate FO Argument Resolution
279	PDF Document Add to Reading List Source URL: homepages.math.uic.edu Language: English - Date: 2016-01-08 10:48:49 Computability theory Theoretical computer science Theory of computation Mathematics Mathematical logic Turing machine Models of computation Computable number Alan Turing Computable function Definable real number Computability
280	A temporal mereology for distinguishing between integral objects and portions of stuff Thomas Bittner1,2,3,4 and Maureen Donnelly1,3 3 1 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2007-05-05 14:40:28 Philosophy Logic Ontology Metaphysics Predicate logic Mereology Mathematical logic Temporal parts Simple First-order logic Lemonade Integral

UPDATE